University of Manchester

Results: 1471



#Item
61Instrumenting the Atomic Decomposition: software APIs for OWL Dmitry Tsarkov, Chiara Del Vescovo, and Ignazio Palmisano School of Computer Science, The University of Manchester, UK Abstract. The Atomic Decomposition (AD)

Instrumenting the Atomic Decomposition: software APIs for OWL Dmitry Tsarkov, Chiara Del Vescovo, and Ignazio Palmisano School of Computer Science, The University of Manchester, UK Abstract. The Atomic Decomposition (AD)

Add to Reading List

Source URL: www.cs.man.ac.uk

- Date: 2015-02-05 09:51:09
    62Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK

    Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    - Date: 2015-02-05 09:51:06
      63THE UNIVERSITY OF MANCHESTER CICADA One Day Conference: Computation and Dynamics of Continuous and Discrete Processes REVISED

      THE UNIVERSITY OF MANCHESTER CICADA One Day Conference: Computation and Dynamics of Continuous and Discrete Processes REVISED

      Add to Reading List

      Source URL: www.cicada.manchester.ac.uk

      - Date: 2009-06-25 09:45:33
        64Michael Lisanti Institute of Cancer Sciences, University of Manchester, Cancer Research UK Manchester Institute, Manchester (United Kingdom) Professor Lisanti serves as the Director of the Manchester Breakthrough Breast

        Michael Lisanti Institute of Cancer Sciences, University of Manchester, Cancer Research UK Manchester Institute, Manchester (United Kingdom) Professor Lisanti serves as the Director of the Manchester Breakthrough Breast

        Add to Reading List

        Source URL: www.bionanomed.at

        - Date: 2016-01-20 04:34:40
          65The  UK   Research  Excellence  Framework   (REF  2014)   Steve  Furber   The  University  of  Manchester   REF  2014  sub-­‐panel  11  chair  

          The  UK   Research  Excellence  Framework   (REF  2014)   Steve  Furber   The  University  of  Manchester   REF  2014  sub-­‐panel  11  chair  

          Add to Reading List

          Source URL: cra.org

          - Date: 2016-07-19 15:54:33
            66Inference of road traffic congestion from sensor events Nicholas Gould and James Cheng, Manchester Metropolitan University, Manchester, UK William Mackaness, University of Edinburgh Abstract We describe

            Inference of road traffic congestion from sensor events Nicholas Gould and James Cheng, Manchester Metropolitan University, Manchester, UK William Mackaness, University of Edinburgh Abstract We describe

            Add to Reading List

            Source URL: www.ncgia.buffalo.edu

            - Date: 2016-05-18 12:38:25
              67Clay Minerals Group Annual Research in Progress Meeting Tuesday 13th September 2016 University of Manchester Keynote: Nick Tosca (University of Oxford) - Authigenic Fe-silicates, iron

              Clay Minerals Group Annual Research in Progress Meeting Tuesday 13th September 2016 University of Manchester Keynote: Nick Tosca (University of Oxford) - Authigenic Fe-silicates, iron

              Add to Reading List

              Source URL: www.minersoc.org

              - Date: 2016-05-28 07:24:32
                68FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

                FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                - Date: 2015-02-05 09:51:10
                  69A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

                  A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

                  Add to Reading List

                  Source URL: www.hermit-reasoner.com

                  - Date: 2012-02-03 12:06:02
                    70On the Reaxiomatisation of General Topology Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

                    On the Reaxiomatisation of General Topology Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

                    Add to Reading List

                    Source URL: www.paultaylor.eu

                    - Date: 2009-02-12 12:33:01